Designing FPGA Circuits in Lava
نویسندگان
چکیده
This paper explores the potential of the lazy functional programming language Haskell for the specification, synthesis and verification of digital circuits. Circuits are described using combinators that combine behaviour (allowing circuit simulation, symbolic evaluation and partial evaluation) and layout (allowing the generation of output suitable for entry into VLSI CAD tools). We call the software that provides this functionality Lava. Note that Lava is not a new language: it is simply a collection of Haskell modules. Circuits described in Lava can be transformed into a format that can be using with the commercial propositional logic theorem prover NP-Tools for hardware verification.
منابع مشابه
Declarative FPGA Circuit Synthesis using Kansas Lava
Designing and debugging hardware components is challenging, especially when performance requirements demands a complex orchestra of cooperating and highly synchronized computation engines. New language-based solutions to this problem have the potential to revolutionize how we think about and build circuits. In this paper, we describe our language-based approach to semi-formal codesign. Using ex...
متن کاملمدل عملکردی تحلیلی FPGA برای پردازش با قابلیت پیکربندی مجدد
Optimizing FPGA architectures is one of the key challenges in digital design flow. Traditionally, FPGA designers make use of CAD tools for evaluating architectures in terms of the area, delay and power. Recently, analytical methods have been proposed to optimize the architectures faster and easier. A complete analytical power, area and delay model have received little attention to date. In addi...
متن کاملDesigning Basic Blocks of Fpga Cells with the Current-mode Gates
The paper deals with the problem of designing mixed programmable analogue-digital circuits on a single die, and in particularly, with the problem of designing FPGA cells with current-mode gates novel digital gates operating with constant, continuous power supply current. Based on the proposed approaches to minimizing logic functions and designing digital current – mode circuits, the current-mod...
متن کاملDESIGNING PROTOTYPE OF THE XILINX FPGAs FUNCTION GENERATOR WITH THE CURRENT-MODE GATES
The paper deals with the problem of designing main FPGA-cell blocks with the current-mode gates – novel digital gates operating with constant, continuous power supply current. Using proposed approaches to designing digital current-mode circuits, the currentmode prototypes of several digital circuits and the main basic block of FPGA cell – the function generator – are designed. The obtained circ...
متن کاملHandshaking in Kansas Lava Using Patch Logic
Designing hardware is like writing music for an orchestra lots of pieces have to come together at the correct time for everything to work. In systems design, there is a confusing array of standards for allowing cooperating components, and little type-level support in traditional design methodologies for helping connect components with pre-arranged protocols. In this paper, we explore bringing p...
متن کامل